Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel

Résumé. Dans cet article, nous présentons la démarche adoptée dans le projet LISE pour spécifier de manière formelle les responsabilités des parties dans un contrat portant sur des logiciels. Nous décrivons deux options, l’une reposant sur une attribution a priori des responsabilités en fonction des dysfonctionnements constatés dans les logs, l’autre sur une analyse de causalité, et nous les illustrons sur un exemple de système de réservation d’hôtels. Mots clés : responsabilité juridique, contrat, logiciel, plainte.